Unifying Requirements and Code: An Example
نویسندگان
چکیده
Requirements and code, in conventional software engineering wisdom, belong to entirely different worlds. Is it possible to unify these two worlds? A unified framework could help make software easier to change and reuse. To explore the feasibility of such an approach, the case study reported here takes a classic example from the requirements engineering literature and describes it using a programming language framework to express both domain and machine properties. The paper describes the solution, discusses its benefits and limitations, and assesses its scalability.
منابع مشابه
A New Ridge Estimator in Linear Measurement Error Model with Stochastic Linear Restrictions
In this paper, we propose a new ridge-type estimator called the new mixed ridge estimator (NMRE) by unifying the sample and prior information in linear measurement error model with additional stochastic linear restrictions. The new estimator is a generalization of the mixed estimator (ME) and ridge estimator (RE). The performances of this new estimator and mixed ridge estimator (MRE) against th...
متن کاملSystematic Analysis of Defenses against Return-Oriented Programming
Since the introduction of return-oriented programming, increasingly complex defenses and subtle attacks that bypass them have been proposed. Unfortunately the lack of a unifying threat model among code reuse security papers makes it difficult to evaluate the effectiveness of defenses, and answer critical questions about the interoperability, composability, and efficacy of existing defensive tec...
متن کاملDynamic Analysis of Suspension Footbridges Using an Actual Pedestrian Load Model Compared with EUR23984 EN Requirements
The suspension footbridges are very flexible due to their geometrical structure; hence they may face severe vibration problems induced mainly by natural forces and pedestrians crossing. By exceeding a certain limit, these vibrations can disturb the serviceability of the bridge as well as health and safety of the structure and pedestrians. Therefore, standard design guidelines are sets of recomm...
متن کاملSome Strategies for Formulating and Promoting “a Code of Professional Ethics of Sports Clubs”
Professionalization of sports fields is a significant subject that preoccupied theorists in these fields today. It has led to both positive and negative consequences. It may result in a decrease in moral values. In order to get out of the present situation and institutionalize ethics in sports, a code of conduct for upholding moral values in sports clubs must be formulated. This code consists o...
متن کاملIdea: A Unifying Theory for Evaluation Systems
Secure systems for voting, exams, auctions and conference paper management are theorised to address the same problem, that of secure evaluations. In support of such a unifying theory comes a model for Secure Evaluation Systems (SES), which offers innovative common grounds to understand all four groups. For example, all rest on submissions, respectively votes, test answers, bids and papers, whic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015